Knihy od autora Hans Langmaack

Zobrazeno 1 – 5 z 5 výsledků

1. 

   1. Fachtagung Uber Programmiersprachen

   Hans Langmaack, Manfred Paul | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Němčina

   Vazba: Brožovaná

   1214 Kč

   Koupit
2. 

   Formal Methods for Industrial Applications

   Jean-Raymond Abrial, Egon Börger, Hans Langmaack | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1996

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   2357 Kč

   Koupit
3. 

   Formal Techniques in Real-Time and Fault-Tolerant Systems

   Hans Langmaack, Willem-Paul de Roever, Jan Vytopil | Springer, Berlin, 1994

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   2357 Kč

   Koupit
4. 

   Compositionality: The Significant Difference

   Hans Langmaack, Amir Pnueli, Willem-Paul De Roever | Springer, Berlin, 1998

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   2357 Kč

   Koupit
5. 

   VDM '90. VDM and Z - Formal Methods in Software Development

   Dines Bj?rner, C. A. R. Hoare, Hans Langmaack | Springer, Berlin, 1990

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit

Získali jsme ocenění Shop roku 2014 - finalista. Zjistěte více